A formal model of Conversational Game Theory

Conversational Game Theory represents a thread of extant research work which embodies an intuitive picture of dialogue including ideas from both plan-based rational agency and dialogue grammars. Defining the combination of these two ideas is potentially one of its most attractive features. The theory has remained a somewhat abstract architecture however with various degrees of freedom. This paper presents a detailed formalization of the theory and discusses various pressures that arise during formalization and their resolution. The formal picture is fully implemented as a dialogue manager component within trindikit a Dialogue Move Engine framework developed for the Trindi project.